2821. The elements of programming style
پدیدآورنده : / Brian W. Kernighan, P. J. Plauger
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
6
.
K47
1978


2822. The elements of programming style
پدیدآورنده : / Brian W. Kernigham, P.J. Plauger
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
K39


2823. The essence of program design
پدیدآورنده : Bell, Douglas
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
6
.
B4366
1997


2824. The formal semantics of programming languages
پدیدآورنده : / Glynn Winskel
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
W555
1993


2825. The joy of Clojure
پدیدآورنده : Michael Fogus, Chris Houser
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
73
.
J38
F64
2011


2826. The language of computers
پدیدآورنده : Galler, Bernard A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، MAD )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
G3


2827. The language of computers
پدیدآورنده : / Bernard A. Galler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : MAD (Computer program language),Programming languages (Electronic computers)
رده :
001
.
6424M
G166


2828. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995


2829. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3


2830. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984


2831. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984


2832. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
2833. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985


2834. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985


2835. The logical design of operating systems
پدیدآورنده : / Alan C. Shaw
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,Multiprogramming (Electronic computers)
رده :
QA76
.
6
.
S52


2836. The logical design of operating systems
پدیدآورنده : SHAW,ALAN C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , MULTIPROGRAM )ELECTRONIC COMPUTERS(
رده :
QA
76
.
6
.
S52


2837. The logical design of operating systems
پدیدآورنده : / Alan C. Shaw
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Multiprogramming (Electronic computers)
رده :
001
.
642
S534l


2838. The logical design of operating systems
پدیدآورنده : Shaw, Alan C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Multiprogramming )Electronic computer(
رده :
QA
76
.
6
.
S52


2839. The logical design of operating systems
پدیدآورنده : Shaw, Alan C
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Eletronic digital computers-- Programming,، Multiprogramming )Electronic computers(
رده :
QA
76
.
6
.
S52


2840. The master handbook of high-level microcomputer languages
پدیدآورنده : Taylor, Charles F. )Charles Floyd(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Microcomputers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
T3925
1984

